core_2_summary 9,38
General-purpose definitions and
theorems.

origin